1. Advances in Cryptology CRYPTO' 93 :
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
2. Advances in Web-Age Information Management :
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA76
.
9
.
D3
G474
2003
3. Computational Science and Its Applications ICCSA 2003 :
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
4. Computational Science and Its Applications ICCSA 2003 :
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
5. Computer Aided Verification :
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA76
.
76
.
V47
G474
2000
6. DIANA An Intermediate Language for Ada
المؤلف: edited by Gerhard Goos, William A. Wulf, Arthur Evans, Kenneth J. Butler.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
73
.
A35
E358
1983
7. Database Systems for Advanced Applications :
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Database management -- Congresses.,Information technology.
8. Digital and Image Geometry :
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
TA1637
.
G474
2001
9. ECOOP' 93 Object-Oriented Programming :
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
10. Grundlagen und funktionales Programmieren :
المؤلف: Gerhard Goos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Informatik.
11. Informatik 2 :
المؤلف: von Friedrich L. Bauer, Gerhard Goos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.
12. Informatik :
المؤلف: Friedrich L. Bauer, Gerhard Goos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
13. Multiset Processing :
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA75
.
5
G474
2001
14. Paralleles Rechnen und nicht-analytische Lösungsverfahren :
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Informatik.,Mathematisches Modell ; SWD-ID: 41145288,Paralleler Algorithmus ; SWD-ID: 41936152
15. Theorem Proving in Higher Order Logics :
المؤلف: edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Logic design.,Software engineering.
16. Vorlesungen a1/4ber informatik.
المؤلف: Gerhard Goos
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
17. Vorlesungen über Informatik :
المؤلف: von Gerhard Goos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.
رده :
QA76
.
7
V664
1995
18. Vorlesungen über Informatik :
المؤلف: von Gerhard Goos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algorithm Analysis and Problem Complexity.,Computer science.,Computer Science.
19. Vorlesungen über Informatik :
المؤلف: von Gerhard Goos.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.
رده :
QA76
.
7
V664
1997
